When is partial trace equivalence adequate?
نویسندگان
چکیده
منابع مشابه
Is Hesaabdaaree an Adequate Equivalent for Accounting?
Some of the difficulties and misunderstandings that happen in accounting theory, practice, regulation and education are grounded in language and linguistics. As an illustration of this the Persian equivalent of 'accounting' is linguistically analysed to reveal how a mistranslation may cause difficulties in understanding and improving Iranian Accounting. This paper shows how Hesaabdaaree is not ...
متن کاملDeterminacy - (Observation Equivalence = Trace Equivalence)
If an experiment s is conducted on a parallel process p, then, in general, different processes may result from the experiment, due to the nondeterministic behaviour of p (in the notation of Milner (1980): p ~ p' for different p'). Process p is called determinate if the resulting processes are all equivalent (i.e., if p A=> p' and p ~ p", then p' and p" are equivalent). This means that, although...
متن کاملInfinite trace equivalence
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. We discuss the difficulties with traditional approaches, where divergence is bottom or where a term denotes a function from a set of environments. We see that making forcing explicit, in the manner of game semantics, al...
متن کاملSimplified Coalgebraic Trace Equivalence
The analysis of concurrent and reactive systems is based to a large degree on various notions of process equivalence, ranging, on the so-called lineartime/branching-time spectrum, from fine-grained equivalences such as strong bisimilarity to coarse-grained ones such as trace equivalence. The theory of concurrent systems at large has benefited from developments in coalgebra, which has enabled un...
متن کاملAdequate equivalence relations and Pontryagin products
Let A be an abelian variety over a field k. We consider CH0(A) as a ring under Pontryagin product and relate powers of the ideal I ⊆ CH0(A) of degree zero elements to powers of the algebraic equivalence relation. We also consider a filtration F 0 ⊇ F 1 ⊇ . . . on the Chow groups of varieties of the form T ×k A (defined using Pontryagin products on A ×k A considered as an A-scheme via projection...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 1994
ISSN: 0934-5043,1433-299X
DOI: 10.1007/bf01215409